OCaml （ML家族语言）很好很强大

理由如下： 1. 强类型，写着放心 2. 函数式。 且不是pure functional， 不用像 Haskell 那样极端。。 3. Algebric Data Types 的模式匹配 实在太 ...